Random Measurable Selections
نویسندگان
چکیده
We make the first steps towards showing a general “randomness for free” theorem for stochastic automata. The goal of such theorems is to replace randomized schedulers by averages of pure schedulers. Here, we explore the case of measurable multifunctions and their measurable selections. This involves constructing probability measures on the measurable space of measurable selections of a given measurable multifunction, which seems to be a fairly novel problem. We then extend this to the case of IT automata, namely, non-deterministic (infinite) automata with a history-dependent transition relation. Throughout, we strive to make our assumptions minimal.
منابع مشابه
Diierentiable Selections of Set-valued Mappings and Asymptotic Behaviour of Random Sets in Innnite Dimensions
We consider set-valued mappings acting between two linear normed spaces and having convex closed images. Our aim is to construct selections with directional diierentiability properties up to the second order, using certain tangential approximations of the mapping. The constructions preserve measurability and lead to a directionally diierentiable Castaing representation of measurable multifuncti...
متن کاملCaratheodory-Type Selections and Random Fixed Point Theorems
We provide some new Caratheodory-type selection theorems. i.e.. selections for correspondences of two variables which are continuous with respect to one variable and measurable with respect to the other. These results generalize simultaneously Michael’s [2l] continuous selection theorem for lower-semicontinuous correspondences as well as a Caratheodory-type selection theorem of Fryszkowski [IO]...
متن کاملDiierentiable Selections of Set-valued Mappings with Application in Stochastic Programming
We consider set-valued mappings deened on a linear normed space with convex closed images in IR n. Our aim is to construct selections which are (Hadamard) directionally diierentiable using some approximation of the mul-tifunction. The constructions suggested assume existence of a cone approximation given by a certain "derivative" of the mapping. The rst one makes use of the properties of Steine...
متن کاملStudy of the Probabilistic Information of a Random Set
Given a random set coming from the imprecise observation of a random variable, we study how to model the information about the distribution of this random variable. Specifically, we investigate whether the information given by the upper and lower probabilities induced by the random set is equivalent to the one given by the class of the distributions of the measurable selections; together with s...
متن کاملRandom intervals as a model for imprecise information
Random intervals constitute one of the classes of random sets with a greater number of applications. In this paper, we regard them as the imprecise observation of a random variable, and study how to model the information about the probability distribution of this random variable. Two possible models are the probability distributions of the measurable selections and those bounded by the upper pr...
متن کامل